]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31c3783) | patch
main: Do not hard-code <super> as overlay-key
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 11 Aug 2012 00:33:20 +0000 (02:33 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 16 Aug 2012 07:44:22 +0000 (09:44 +0200)
commit028e83181beba9e227254a11117cde4c13496bbf
tree00ff73ff904d14404d404323ca536c913d52de00tree | snapshot
parent31c3783c7cc510e87350801be87386aaee1a040ccommit | diff
main: Do not hard-code <super> as overlay-key

Use the new OVERLAY_KEY keybinding action instead of special-casing
the overlay-key to make sure the same key will be used in- and outside
the overview.

https://bugzilla.gnome.org/show_bug.cgi?id=665547
js/ui/main.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.